Gordon Plotkin - PDFSEARCH.IO - Document Search Engine

Gordon Plotkin
Results: 21

#	Item
11	Lambda-Calculus Conferences in the 1970s Roger Hindley Mathematics Department, Swansea University, Wales, e-mail: August 12, 2011 Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2011-08-12 13:22:21 Mathematics Henk Barendregt Church–Rosser theorem Haskell Curry Barendregt Gordon Plotkin Henk Hindley Type theory Theoretical computer science Lambda calculus Mathematical logic
12	HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic in computer science Algebraic geometry Field theory Valuation Monad Denotational semantics Exception handling Symbol Sheaf Abstract algebra Mathematics Software engineering
13	A Framework for Defining Logics Robert Harper∗ Furio Honsell† Gordon Plotkin‡ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:06 Logic in computer science Proof theory Dependently typed programming Type theory Deduction Natural deduction Curry–Howard correspondence Logical framework Symbol Logic Mathematics Mathematical logic
14	Handlers of Algebraic Effects Gordon Plotkin ? and Matija Pretnar Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Topology Symbol Denotational semantics Monad Model theory Sheaf Orbifold Μ operator Theoretical computer science Logic in computer science Mathematics
15	A Language for Biochemical Systems: Design and Formal Specification Michael Pedersen and Gordon D. Plotkin LFCS, School of Informatics, University of Edinburgh Abstract. This paper introduces a Language for Biochemical Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-22 11:50:31 Signal transduction Protein kinases Mitogen-activated protein kinase Arc Petri net Gene expression Messenger RNA Biology Biochemistry Molecular biology
16	The Researchers’ Bible (How to survive a PhD) by Alan Bundy, Ben du Boulay, Jim Howe and Gordon Plotkin University of Edinburgh Add to Reading List Source URL: www.ifs.tuwien.ac.at Language: English - Date: 2002-03-15 12:16:54 Academia Rhetoric Thesis Criticism Doctorate Thought Autoethnography Education Social psychology Knowledge
17	Notes on the Chu construction and Recursion Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:03 Functor Adjoint functors Universal property Sheaf Coproduct Function Initial and terminal objects Limit Chu space Abstract algebra Mathematics Category theory
18	Notes on Event structures and Chu Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:07 Model theory Mathematical structures Universal algebra Algebraic structures Abstract algebra Structure Alfred Tarski FO Order Mathematics Mathematical logic Logic
19	CURRICULUM VITAE Name: Glynn Winskel Date and place of birth: [removed], Lancaster, England. Family: Married, with two daughters. Nationality: British. Work addresses: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-18 09:50:08 Computer science Denotational semantics Dana Scott Semantics of programming languages Concurrency Programming language theory Gordon Plotkin Aarhus University Logic programming Theoretical computer science Logic in computer science Mathematics
20	A Brief Scientific Biography of Robin Milner Gordon Plotkin, Colin Stirling & Mads Tofte Robin Milner was born in 1934 to John Theodore Milner and Muriel Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-28 12:43:45 Logic in computer science Functional languages Type theory Formal methods Models of computation Denotational semantics Logic for Computable Functions ML Robin Milner Theoretical computer science Software engineering Programming language theory

UPDATE